#define _CRT_SECURE_NO_WARNINGS 1
#include <stdio.h>
/// <summary>
/// ///////////
/// </summary>
/// <returns></returns>
int main()
{
    int a, b,c;
    while (scanf("%d %d %d", &a, &b,&c) != EOF) 
    { 
        if (((a+b+c)/3)>=60)
            printf("NO");
        else
            printf("YES");
    }
    return 0;   
}